Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
731	Animation, Visualization, and Interaction in CS 1 Assignments Owen Astrachan and Susan H. Rodger y Duke University [removed], [removed] Abstract Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 13:00:59 Mathematical logic Theoretical computer science Data file Scratch Balloon Animation Application software Software Computing Visual programming languages Algorithm
732	The 19th International Static Analysis Symposium Deauville, France[removed]September 2012 S AS[removed] Add to Reading List Source URL: www.sas2012.ens.fr Language: English - Date: 2012-07-03 06:17:35 Theoretical computer science Abstract interpretation Applied mathematics Model checking Program analysis Abstract management Formal verification Software bug Computer science Formal methods Logic in computer science Patrick Cousot
733	Partitioning 0-CFA for the GPU Thomas Gilray, James King, Matthew Might University of Utah {tgilray, jsking2, might}@cs.utah.edu Abstract. We generalize EigenCFA, a linear formulation of 0-CFA, to Add to Reading List Source URL: matt.might.net Language: English - Date: 2015-01-20 15:49:39 Mathematics Dual Logic Metalogic Model theory Structure
734	Experiments in validating formal semantics for C Sandrine Blazy ENSIIE and INRIA Rocquencourt [removed] Abstract. This paper reports on the design of adequate on-machine Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2008-06-30 05:17:26 Logic in computer science Formal methods Compiler construction Programming language semantics Formal verification Xavier Leroy Coq Operational semantics Compcert Software engineering Theoretical computer science Computing
735	Adaptive Logics: a Parametric Approach Frederik Van De Putte & Christian Straßer Centre for Logic and Philosophy of Science Ghent University ,@ugent.be Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-06-16 09:05:31 Deduction Connection Entailment Logical consequence Metalogic Valuation Symbol Constructible universe Ordinal number Logic Abstract algebra Mathematics
736	Warren’s Abstract Machine A T UTORIAL R ECONSTRUCTION H ASSAN A¨I T-K ACI [removed] Intelligent Software Group Add to Reading List Source URL: wambook.sourceforge.net Language: English - Date: 2009-06-30 09:57:55 Artificial intelligence Applied mathematics Mathematics Automated theorem proving Logic programming Unification
737	The Use of Rippling to Automate Event-B Invariant Preservation Proofs Yuhui Lin, Alan Bundy, and Gudmund Grov School of Informatics, University of Edinburgh, UK Abstract. Proof automation is a common bottleneck for indu Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Rippling IsaPlanner Theorem Unification Mathematical proof Automated theorem proving Logic Mathematics
738	Cognitive computing leads to the next level of answering questions on the Web Edy Portmann University of Bern, Switzerland ABSTRACT Add to Reading List Source URL: tinytocs.org Language: English - Date: 2015-03-07 12:34:01 Information Semantic Web Computational linguistics Ontology Question answering Fuzzy logic Web search engine Information science Science Information retrieval
739	A Unifying Framework for Reasoning about Normative Conflicts Mathieu Beirlaen∗ Abstract First, two context-dependent desiderata are presented for Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-23 04:38:36 Modal logic Philosophy of law Non-classical logic Philosophical logic Philosophy of language Deontic logic Paraconsistent logic Norm Rights Logic Mathematical logic Philosophy
740	Inferring the Proof Process Andrius Velykis School of Computing Science, Newcastle University, UK [removed] Abstract. This PhD project aims to investigate how enough information can be collected fr Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Theoretical computer science Formal methods Proof theory Logical syntax Logical truth Mathematical proof Isabelle Proof assistant IsaPlanner Logic Automated theorem proving Mathematics

UPDATE